module type IINTERPRETER =
  sig
    val eval :
      Types.instr Types.mpair * Types.stackel Types.mpair ref ->
      Types.stackel
    exception Eval_Exception of string
  end
module INTERPRETER : IINTERPRETER
